A University Faculty Timetable

Web Accessibility: A Tutorial for University Faculty

Model-Based Problem Solving for University Timetable Validation and Improvement

Constraint satisfaction problems can be expressed very elegantly in state-based formal methods such as B. However, can such specifications be directly used for solving real-life problems? We will try to answer this question in this contribution with regard to the university timetabling problem. We report on an ongoing project to build a formal model-based curriculum timetable validation tool. I...

User Requirements Model for University Timetable Management System

Automated timetables are used to schedule courses, lectures and rooms in universities by considering some constraints. Inconvenient and ineffective timetables often waste time and money. Therefore, it is important to investigate the requirements and potential needs of users. Thus, eliciting user requirements of University Timetable Management System (TMS) and their implication becomes an import...

Multi-Agent System for University Course Timetable Scheduling

Many real-world applications are mapped into combinatorial problems. An example of such problem is timetable scheduling. In this case, the two basic characteristics can be defined by its distributed and dynamic environment. One efficient solution could be provided by an agent-based approach. A timetable scheduling problem can be modelled as a multi-agent system that provides the final schedule ...

Applying Constraint Satisfaction Technique in University Timetable Scheduling

Planning and scheduling are often NP-complete problems. There have been different approaches to tackle these problems. With the emergence of constraint logic programming, the constraint satisfaction approach has started to attract attention due to its effectness in solving these real-life problems. In this paper, we report our experience of applying constraint logic programming to fully automat...